تعداد ۱۷ پاسخ غیر تکراری از ۱۷ پاسخ تکراری در مدت زمان ۷,۳۴ ثانیه یافت شد.

1. Foundations of Software Science and Computation Structures

پدیدآورنده : \ Andrew Pitts (Ed.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : System analysis -- Congresses.,Computer software -- Congresses. ,Software engineering -- Congresses. ,تجزیه و تحلیل سیستم‌ها -- کنگره ها ,ن‍رم‌اف‍زار رای‍ان‍ه‌ ای -- کنگره ها,نرم‌افزار -- مهندسی -- کنگره‌ها

رده :

QA76

.

751

.

F67

2015

E-Book

,

2. Foundations of software science and computation structures

پدیدآورنده : Jerzy Tiuryn (ed.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software, Congresses.,System analysis, Congresses.

3. Foundations of software science and computation structures : First International Conference, FoSSaCS'98 held as part of the joint European Conference on Theory and Practics of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings

پدیدآورنده : Maurice Nivat )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software,Congresses ، System analysis

رده :

QA

76

.

L28

Vol

.

1378

4. Foundations of software science and computation structures: Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Computer software,Congresses ، System analysis

رده :

QA

76

.

751

.

F67

1999

5. Foundations of software science and computation structures : Second International Conference, FoSSaCS'99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam the Netherlands March 22-28, 1999 : proceedings

پدیدآورنده : Wolfgang Thomas )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software,Congresses ، System analysis

رده :

QA

76

.

L28

Vol

.

1578

6. Foundations of software science and computation structures : Third International Conference, FoSSaCS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

پدیدآورنده : Jerzy Tiuryn )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software,Congresses ، System analysis

رده :

QA

76

.

L28

Vol

.

1784

7. Foundations of software science and computation structures : 8th International Conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

پدیدآورنده : Vladimiro Sassone )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software,Congresses ، System analysis

رده :

QA

76

.

L28

Vol

.

3441

8. Foundations of software science and computation structures : 4th International Conference, FoSSaCS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

پدیدآورنده : Furio Honsell, Marino Miculan )Eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software,Congresses ، System analysis

رده :

QA

76

.

L28

Vol

.

2030

9. Foundations of software science and computation structures : 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

پدیدآورنده : Igor Walukiewicz )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software,Congresses ، System analysis

رده :

QA

76

.

L28

Vol

.

2987

10. Foundations of software science and computation structures : 5th international conference, FoSSaCS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

پدیدآورنده : Mogens Nielsen, Uffe Engberg )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software,Congresses ، System analysis

رده :

QA

76

.

L28

Vol

.

2303

11. Foundations of software science and computational structures : 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : Proceedings

پدیدآورنده : Andrew D.Gordon )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software,Congresses ، System analysis

رده :

QA

76

.

L28

Vol

.

2620

12. Requirements Engineering with Use Cases. - a Basis for Software Development

پدیدآورنده : Regnell,Bjorn

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، System design -- Congresses,، System analysis -- Congresses,، Computer software -- Development -- Congresses

رده :

QA

76

.

9

.

R46

1999

13. Tools and Algorithms for the Construction and Analysis of Systems

پدیدآورنده : \ Christel Baier, Cesare Tinelli (eds.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : System design -- Congresses.,Computer software -- Verification -- Congresses.,System analysis -- Congresses.,طراحی سیستم -- کنگره‌ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها

رده :

QA76

.

9

.

T33

2010

E-Book

,

14. Tools and algorithms for the construction and analysis of systems :

پدیدآورنده : Javier Esparza, Rupak Majumdar (editions.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : System analysis, Congresses,System design, Congresses,Computer Systems.,Software Validation.,Systems Analysis.

رده :

QA76

.

9

.

S88

T33

2010

15. Tools and algorithms for the construction and analysis of systems :

پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.

رده :

QA76

.

9

.

S88

16. Tools and algorithms for the construction and analysis of systems :

پدیدآورنده : Tomáš Vojnar, Lijun Zhang (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.

رده :

QA76

.

9

.

S88

17. Tools and algorithms for the construction and analysis of systems

پدیدآورنده : Nir Piterman, Scott A. Smolka (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses

رده :

QA76

.

9

.

S88

T33

2013

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها